| Record ID | marc_gtu/KLF_IA_Export_5-5-22.mrc:18074557:931 |
| Source | marc_gtu |
| Download Link | /show-records/marc_gtu/KLF_IA_Export_5-5-22.mrc:18074557:931?format=raw |
LEADER: 00931nam 22002531 4500
001 91-B15640
005 20161215132343.0
008 910508s1965 nyu b 000 0 eng
010 $a65003996
040 $aDLC/ICU$cICU$dUtOrBLW
090 $aQA248.5$b.D33
100 1 $aDavis, Martin,$d1928- ,$eed.
245 14 $aThe undecidable ;$bbasic papers on undecidable propositions, unsolvable problems and computable functions.
260 $aHewlett, N.Y. :$bRaven Press,$c[1965]
300 $a440 p. ;$c25 cm.
504 $aIncludes bibliographical references.
650 0 $aRecursive functions.
650 0 $aGödel's theorem.
650 0 $aTuring machines.
650 0 $aUnsolvability (Mathematical logic)
650 0 $aComputable functions.
907 $a.b1133342x$b05-12-20$c03-31-92
998 $agtu$agx$b02-07-92$cm$da $e-$feng$gnyu$h4
945 $g1$i32400000909501$j0$lgtu $o-$p$0.00$q $r $sj $t0$u1$v0$w0$x0$y.i11591183$z03-31-92